A Formal Testing Model for Operating Room Control System using Internet of Things

Technological advances in recent years have significantly changed the way an operating room works. This work aims to create a platform solve problems of occupancy and prepare rooms with environment that is favorable for all operations. Using this system, doctor can control operation rooms, especially before operation, monitor their temperature humidity operation. Also, event problem, alert sent nurse responsible medical stuff so problem be resolved. The tested using Raspberry PI card sensors. sensors are connected cloud layer collects analyzes values obtained from during result experimentations visualized through web application Android application. also considers security aspects such as authorization access functionalities Web mobile applications. We test evaluate system’s existing vulnerabilities IEEE owasp IoT standards. Finally, proposed framework extended model based testing technique may adopted validating thesecurity aspects.